#include <syscall.h>

int main(int arg,char **argv)
{
	syscall(__NR_write, 1, "hello world\n", 14);
	return 0;
}
